YES 0.41300000000000003
↳ HASKELL
↳ BR
((lookup :: () -> [((),a)] -> Maybe a) :: () -> [((),a)] -> Maybe a) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((lookup :: () -> [((),a)] -> Maybe a) :: () -> [((),a)] -> Maybe a) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
lookup k [] = Nothing lookup k ((x,y) : xys)
| k == x
= Just y | otherwise
= lookup k xys
lookup k [] = lookup3 k [] lookup k ((x,y) : xys) = lookup2 k ((x,y) : xys)
lookup1 k x y xys True = Just y lookup1 k x y xys False = lookup0 k x y xys otherwise
lookup0 k x y xys True = lookup k xys
lookup2 k ((x,y) : xys) = lookup1 k x y xys (k == x)
lookup3 k [] = Nothing lookup3 wu wv = lookup2 wu wv
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(lookup :: () -> [((),a)] -> Maybe a) |
import qualified Prelude |